# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q/{mapleinput}...{mapleinput};LFS=11;AAT/;
$cached_env_img{$key} = q||;
$key = q/{mapleinput}[q]...{mapleinput};LFS=11;AAT/;
$cached_env_img{$key} = q||;